Search results for Gerard J Holzmann Blackwell's

Skip your Account's links

0 items

$0.00

Your basket
The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.
View basket
Your basket is empty
Delivery included on your order!
View basket

$16.88off
The Early History of Data Netwo...
Gerard J. Holzmann, ...

Paperback
Published 30 Nov 1994
Save $16.88
- RRP $112.04
- $95.16
In Stock
Add to basket
$5.74off
NASA Formal Methods
NFM (Symposium), Kla...

Paperback
Published 09 Apr 2015
Save $5.74
- RRP $61.51
- $55.77
In Stock
Add to basket
Digital Darkroom Software

Gerard J Holzmann

Paperback
Published 01 Jan 1989

Notify me
Beyond Photography

Gerard J Holzmann

Paperback
Published 01 May 1988

Notify me
Design and Validation of Comput...

Gerard J. Holzmann

Paperback
Published 01 Nov 1990

Notify me
The SPIN Model Checker

Gerard J Holzmann

Hardback
Published 18 Sep 2003

Notify me
Design and Validation of Comput...

Gerard J. Holzmann, ...

Paperback
Published 01 Nov 1990

Notify me
The SPIN Verification System

Workshop on the SPIN...

Hardback
Published 30 May 1997

Notify me
Partial Order Methods in Verifi...

Doron A. Peled, Vaug...

Hardback
Published 30 Apr 1997

Notify me